Full characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision

© 2019 AI Access Foundation. In this article, the epistemic-entrenchment and partial-meet characterizations of Parikh's relevance-sensitive axiom for belief revision, known as axiom (P), are provided. In short, axiom (P) states that, if a belief set K can be divided into two disjoint compartments, and the new information ' relates only to the first compartment, then the revision of K by ' should not affect the second compartment. Accordingly, we identify the subclass of epistemic-entrenchment and that of selection-function preorders, inducing AGM revision functions that satisfy axiom (P). Hence, together with the faithful-preorders characterization of (P) that has already been provided, Parikh's axiom is fully characterized in terms of all popular constructive models of Belief Revision. Since the notions of relevance and local change are inherent in almost all intellectual activity, the completion of the constructive view of (P) has a significant impact on many theoretical, as well as applied, domains of Artificial Intelligence

Synapse Clusters Are Preferentially Formed by Synapses with Large Recycling Pool Sizes

Synapses are distributed heterogeneously in neural networks. The relationship between the spatial arrangement of synapses and an individual synapse's structural and functional features remains to be elucidated. Here, we examined the influence of the number of adjacent synapses on individual synaptic recycling pool sizes. When measuring the discharge of the styryl dye FM1–43 from electrically stimulated synapses in rat hippocampal tissue cultures, a strong positive correlation between the number of neighbouring synapses and recycling vesicle pool sizes was observed. Accordingly, vesicle-rich synapses were found to preferentially reside next to neighbours with large recycling pool sizes. Although these synapses with large recycling pool sizes were rare, they were densely arranged and thus exhibited a high amount of release per volume. To consolidate these findings, functional terminals were marked by live-cell antibody staining with anti-synaptotagmin-1-cypHer or overexpression of synaptopHluorin. Analysis of synapse distributions in these systems confirmed the results obtained with FM 1–43. Our findings support the idea that clustering of synapses with large recycling pool sizes is a distinct developmental feature of newly formed neural networks and may contribute to functional plasticity

Belief revision in answer set programming

© 2017 Association for Computing Machinery. Answer Set Programming is a declarative problem solving approach, initially tailored to modeling problems in the area of Knowledge Representation and Reasoning. In this article,we provide a logic program, in the context of Answer Set Programming framework, that implements the AGM belief revision process, constructed by means of faithful preorders. The above-mentioned approach constitutes a representative implementation of the Answer Set Programming's modeling methodology, as well as a practical method/construction, bringing us a step closer to the successful development of an AGM belief revision system, for real-world applications

Incompatibilities between iterated and relevance-sensitive belief revision

© 2020 AI Access Foundation. The AGM paradigm for belief change, as originally introduced by Alchourron, Gardenfors and Makinson, lacks any guidelines for the process of iterated revision. One of the most inuential work addressing this problem is Darwiche and Pearl's approach (DP approach, for short), which, despite its well-documented shortcomings, remains to this date the most dominant. In this article, we make further observations on the DP approach. In particular, we prove that the DP postulates are, in a strong sense, inconsistent with Parikh's relevance-sensitive axiom (P), extending previous initial conicts. Immediate consequences of this result are that an entire class of intuitive revision operators, which includes Dalal's operator, violates the DP postulates, as well as that the Independence postulate and Spohn's conditionalization are inconsistent with axiom (P). The whole study, essentially, indicates that two fundamental aspects of the revision process, namely, iteration and relevance, are in deep conict, and opens the discussion for a potential reconciliation towards a comprehensive formal framework for knowledge dynamics

Dynamic illumination of spatially restricted or large brain volumes via a single tapered optical fiber

Optogenetics promises spatiotemporal precise control of neural processes using light. However, the spatial extent of illumination within the brain is difficult to control and cannot be adjusted using standard fiber optics. We demonstrate that optical fibers with tapered tips can be used to illuminate either spatially restricted or large brain volumes. Remotely adjusting the light input angle to the fiber varies the light-emitting portion of the taper over several millimeters without movement of the implant. We use this mode to activate dorsal versus ventral striatum of individual mice and reveal different effects of each manipulation on motor behavior. Conversely, injecting light over the full numerical aperture of the fiber results in light emission from the entire taper surface, achieving broader and more efficient optogenetic activation of neurons when compared to the standard flat-faced fiber stimulation. Thus, tapered fibers permit focal or broad illumination that can be precisely and dynamically matched to experimental needs